$e$ receives $\parallel$ $a$ $\,\equiv$$_{\mbox{\scriptsize def}}$$\;\;$($\uparrow$isrcv($e$)) $\Rightarrow$ val($e$):valtype($e$)$\parallel$$a$